A Study of Linux File System Evolution
نویسندگان
چکیده
منابع مشابه
a study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولThe Linux Device File-System
The Device File-System (devfs) provides a powerful new device management mechanism for Linux. Unlike other existing and proposed device management schemes, it is powerful, flexible, scalable and efficient. It is an alternative to conventional disc-based character and block special devices. Kernel device drivers can register devices by name rather than device numbers, and these device entries wi...
متن کاملStegFS: A Steganographic File System for Linux
Cryptographic file systems provide little protection against legal or illegal instruments that force the owner of data to release decryption keys for stored data once the presence of encrypted data on an inspected computer has been established. We are interested in how cryptographic file systems can be extended to provide additional protection for such a scenario and we have extended the standa...
متن کاملA Stackable File System Interface For Linux
Linux is a popular operating system that is rapidly evolving due to being Open Source and having many developers. The Linux kernel comes with more than two dozen file systems, all of which are native: they access device drivers directly. Native file systems are harder to develop. Stackable file systems, however, are easier to develop because they use existing file systems and interfaces. This p...
متن کاملModel-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in particular, Joshi and Holzmann’s mini-challenge to build a verifiable file system. The aim of the study is to assess the viability of retrospective verification of a VFS implementation using model-checking technology. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Storage
سال: 2014
ISSN: 1553-3077,1553-3093
DOI: 10.1145/2560012